Un Co Rr Ec Te D Pr Oo F
نویسنده
چکیده
9 The theory of chi processes with the mismatch operator is studied. Four congruence relations are investigated. These are late open congruence, early open congruence, ground congruence and 11 barbed congruence. The late and early open congruence relations are the chi calculus counterparts of the weak late and early congruence relations of pi calculus. Both turn out to be special cases 13 of the ground congruence and the barbed congruence. The ground congruence is essentially the open congruence. Complete systems are given for all the four congruence relations. These 15 systems use some interesting tau laws unknown from previous studies of the chi calculus without the mismatch combinator. The results of this paper point out that the mismatch operator changes 17 the algebraic semantics of chi calculus dramatically. They also correct some common mistakes in literature. 19 c © 2002 Published by Elsevier Science B.V.
منابع مشابه
UN CO RR EC TE D PR OO F 1 Motivational priming and processing interrupt : Startle re fl ex modulation during
8 Article history: 9 Received 7 September 2009 10 Received in revised form 10 February 2010 11 Accepted 11 February 2010 12 Available online xxxx 1345 16
متن کاملUN CO RR EC TE D PR OO F A 24 - bp duplication in exon 10 of human chitotriosidase gene from the sub - Saharan to the Mediterranean area : role of parasitic diseases and environmental conditions
L Malaguarnera, J Simporè, DA Prodi, A Angius, A Sassu, I Persico, R Barone and S Musumeci Department of Biomedical Sciences, University of Catania, Italy; Centre Medical San Camille, Ouagdougou, Burkina Faso, Italy; Institute of Population Genetics, CNR, Alghero, Italy; Institute of Neurological Sciences, Catania Section, CNR, Cosenza, Italy; Department of Pharmacology, Gynecology/Obstetrics, ...
متن کاملUn Co Rr Ec Te D Pr Oo F 1 Physical and Economic Sustainability of Water : New 2 Approach Using the Case of the Big Lost River , Idaho 3
3 AHMED SAID*, DAVID K. STEVENS and GERALD SEHLKE 4 Department of Civil and Environmental Engineering, University of South Florida, Tampa, FL, USA; 5 2 Civil and Environmental Engineering Department, Utah State University, Logan, UT, USA; 6 3 Integrated Environmental Analysis Department, Idaho National Engineering and Environmental 7 Laboratory, Idaho Falls, Idaho, USA 8 (*author for correspond...
متن کاملMetadata of the chapter that will be visualized online
This paper presents majorization results for PH-generators. Based on the majorization results, bounds on the moments and Laplace-Stieltjes transforms of phase-type distributions are found. Exponential distributions and Coxian distributions are identified to be extremal PH-distributions with respect to all the moments and Laplace-Stieltjes transforms for certain subsets of PH-distributions. UN C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002